Перевод: с английского на русский

с русского на английский

closed morphism

См. также в других словарях:

  • Closed monoidal category — In mathematics, especially in category theory, a closed monoidal category is a context where we can take tensor products of objects and also form mapping objects . A classic example is the category of sets, Set, where the tensor product of sets A …   Wikipedia

  • Proper morphism — In algebraic geometry, a proper morphism between schemes is an analogue of a proper map between topological spaces. Contents 1 Definition 2 Examples 3 Properties and characterizations of proper morphisms …   Wikipedia

  • Cartesian closed category — In category theory, a category is cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with a morphism defined on one of the factors. These categories are particularly important in… …   Wikipedia

  • Finite morphism — In algebraic geometry, a branch of mathematics, a morphism of schemes is a finite morphism, if Y has an open cover by affine schemes Vi = SpecBi such that for each i, f − 1(Vi) = Ui is an open affine subscheme SpecAi, and the restriction of …   Wikipedia

  • Étale morphism — In algebraic geometry, a field of mathematics, an étale morphism (pronunciation IPA|) is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem,… …   Wikipedia

  • Compact closed category — In category theory, compact closed categories are a general context for treating dual objects. The idea of a dual object generalizes the more familiar concept of the dual of a finite dimensional vector space. So, the motivating example of a… …   Wikipedia

  • Glossary of scheme theory — This is a glossary of scheme theory. For an introduction to the theory of schemes in algebraic geometry, see affine scheme, projective space, sheaf and scheme. The concern here is to list the fundamental technical definitions and properties of… …   Wikipedia

  • Cotangent complex — In mathematics the cotangent complex is a roughly a universal linearization of a morphism of geometric or algebraic objects. Cotangent complexes were originally defined in special cases by a number of authors. Luc Illusie, Daniel Quillen, and M.… …   Wikipedia

  • Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… …   Wikipedia

  • Comma category — In mathematics, a comma category (a special case being a slice category) is a construction in category theory. It provides another way of looking at morphisms: instead of simply relating objects of a category to one another, morphisms become… …   Wikipedia

  • Metric space — In mathematics, a metric space is a set where a notion of distance (called a metric) between elements of the set is defined. The metric space which most closely corresponds to our intuitive understanding of space is the 3 dimensional Euclidean… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»